04.03.09.
      
	Insertion programming.
	The program is considered as an agent inserted into environment. 
Multi agent programs are constructed by means of compositions of agents
behaviors. 
        Construction of insertion programs for a given domain 
includes the following stages:
	Development of agent behavior language (Action Language).
	Development of formal (executable) semantics of this language.
	Intensional semantics includes definitions of semantical 
constructions by means of already existing ones (prog.ap).
	Extentional semantics includes the definition of environment 
state and insertion function (interact.ap).
	Performing of non-deterministic programs is supported by 
Insertion Program Interpreter (Simulator).

	Insertion modeling = Insertion programming + abstraction +
        deductive and symbolic model checking +    

09.01.09.
Insertion modeling system
Based on the last version of STG 081225
Low level: APS
Middle level: Insertion progamming system IPS
High level: Insetion modeling system IMS